Search Results
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
Homotopy Type Theory Discussed - Computerphile
Computer Science and Homotopy Theory - Vladimir Voevodsky
4th HLF – Lecture: Vladimir Voevodsky
Vladimir Voevodsky Introduction to homotopy theory I
Type Systems - Vladimir Voevodsky
Overview of Univalent Foundations - Vladimir Voevodsky
Type Systems - Vladimir Voevodsky
Homotopy type theory: working invariantly in homotopy theory -Guillaume Brunerie
Foundations of Mathematics and Homotopy Theory - Vladimir Voevodsky
Tutorials on Homotopy Type theory (Ekaterinburg, 29 Nov. 2016)
5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations
